python - Pandas groupby : get size of a group knowing its id (from . grouper.group_info[0])